While many studies investigated verification techniques of transformation
properties~\cite{rahim2013survey,VOLT2012}, we only review techniques
\ldots
